From MetroII to Metronomy, Designing Contract-based Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems
نویسنده
چکیده
From MetroII to Metronomy, Designing Contract-based Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems
منابع مشابه
A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints
Model-Driven Engineering (MDE) is widely applied in the industry to develop new software functions and integrate them into the existing run-time environment of a Cyber-Physical System (CPS). The design of a software component involves designers from various viewpoints such as control theory, software engineering, safety, etc. In practice, while a designer from one discipline focuses on the core...
متن کاملJitter Considerations for Worst-Case Performance Generation in Digital Controller Design
One domain of cyber-physical systems are distributed control systems. The requirements for a control system are correctness, stability and control performance. One issue when designing such a controller is that the timing behavior of the system architecture has a direct impact on the control performance. In this paper, we present an approach which allows us to consider the timing during the con...
متن کاملA co-simulation framework for design of time-triggered automotive cyber physical systems
Designing cyber-physical systems (CPS) is challenging due to the tight interactions between software, network/platform, and physical components. Automotive control system is a typical CPS example and often designed based on a time-triggered paradigm. In this paper, a co-simulation framework that considers interacting CPS components for assisting time-triggered automotive CPS design is proposed....
متن کاملA multi-layered and kill-chain based security analysis framework for cyber-physical systems
This paper introduces a novel framework for understanding cyber attacks and the related risks to cyber-physical systems. The framework consists of two elements, a three-layered logical model and reference architecture for cyber-physical systems, and a meta-model of cyber-physical system attacks that is referred to as the cyber-physical system kill-chain. The layered reference architecture provi...
متن کاملSpecification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS)
Cyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today’s computing and networking abstractions do not adequately reflect the properties of the physical world. This shortcoming necessitates the development of effective met...
متن کامل